Active Objects in TCOZ
نویسندگان
چکیده
Active objects have their own thread of control and passive objects are controlled by others. In Object-Z, all objects are modelled as passive objects. Timed Communicating Object Z (TCOZ) extends the Object-Z notation with Timed CSP’s process and timing constructs. The blending of the concepts of object and non-terminating process leads to the notion of active object in TCOZ. This paper considers the concept of active object, its role and implications in formal real-time object-oriented specification.
منابع مشابه
Using TCOZ for Modeling Web Caching
A model of web caching is built in this paper. Web caching on the Internet can be broken down into some elements like various servers and terminal. Further, each element can be divided into some components. This paper describes all of the needed components and how they are composed to make an element. A formal method, TCOZ, is used to build this conceptual model. TCOZ notation is very suitable ...
متن کاملMulti-agent System Specification Using TCOZ
TCOZ is a specification language that combines the strengths of Object-Z and Timed CSP with the goal of specifying distributed systems containing objects that act independently and concurrently. Such goals are similar to the goals of the autonomous agent paradigm, in which agents are entities in an environment that act independently of one another, concurrently, and work proactively to achieve ...
متن کاملTimed Patterns: TCOZ to Timed Automata
The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real-time systems. However, the challenge is how to verify the TCOZ models with tool support, especially for analyzing timing properties. Specialized graph-based modeling technique, Timed Automata (TA), has powerful mechanisms for ...
متن کاملSpecifying and Reasoning Generic Architecture in TCOZ
Formal modeling techniques can be used to define and verify software architectures precisely. This paper applies the recently developed integrated formal specification techniques, Timed Communicating Object Z (TCOZ), to the generic software architecture modeling and verification.
متن کاملSensors and Actuators in TCOZ
Timed Communicating Object Z (TCOZ) combines Object-Z's strengths in modeling complex data and algorithms with Timed CSP's strengths in modeling real-time concurrency. TCOZ inherits CSP's channel-based communication mechanism, in which messages represent discrete synchronisations between processes. The purpose of most control systems is to observe and control analog components. In such cases, t...
متن کامل